(define (problem sleepingbeauty-problem)
(:domain sleepingbeauty)
(:objects )
(:init  (= (ringtime) 0)
	(windowclosed)
	(magnetoperational)
	(alarmdisabled)
	(deeplyasleep)
)
(:goal (awake))
(:metric minimize (total-time))) 
